home *** CD-ROM | disk | FTP | other *** search
/ Acorn User: China / Acorn User China CD-ROM (UK) (Disc B) / Acorn User China CD-ROM (UK) (Disc B).bin / STUTTGART / TEX-DIST / INSTALL < prev    next >
Encoding:
Text File  |  1994-04-28  |  2.3 KB  |  94 lines
  1. | Install script for ArmTeX.
  2. | Hopefully robust enough to detect possible problems.
  3. | You need tar and gzip to do this installation.
  4.  
  5. WimpSlot -min 1024K
  6.  
  7. | Horrible hack to find CSD.
  8. %set Alias$__d %echo CWD = <FileSwitch$CurrentFilingSystem>:|<FileSwitch$<FileSwitch$CurrentFilingSystem>$CSD|>
  9. %RMEnsure UtilityModule 3.00 Set Alias$__d %echo RISC OS 2 - I can't read CSD. Hope you've got it right!
  10.  
  11. %echo <22><0>
  12. %echo Before running this script you should have set the current directory
  13. %echo to be the one you want to install TeX into. If not, press Escape now!
  14. __d
  15. unset Alias$__d
  16. %echo
  17.  
  18. %echo You need around 13Mb free space to install TeX using this script.
  19. %echo The installed copy is around 10Mb.
  20. %echo Free space:
  21. %free
  22. %echo
  23.  
  24. %tar >null: 2>null:
  25. %echo Good, you have a version of tar in your Run$Path. I hope it's
  26. %echo Frank Lancaster's version, otherwise you may lose filetype info.
  27. %echo 
  28.  
  29. %gzip --version >&null:
  30. %echo OK, there's something called gzip there too. Looks like we're rolling!
  31. %echo
  32. %echo Press SPACE if everything looks OK, otherwise press ESCAPE and
  33. %echo re-run this when you have everything ready.
  34. %fx129, 0, 127
  35.  
  36. %echo <22><0>Making a TeX directory.
  37. %cdir TeX
  38. %dir TeX
  39.  
  40. %echo Let's extract the multi-volume tar file...
  41. %tar xvMf adfs::0.$.TEX
  42.  
  43. %echo Great. Now to extract the gzipped files.
  44.  
  45. %echo Unzipping fnts/tgz
  46. %gzip -d fnts/tgz
  47. %echo Untarring fnts
  48. %tar xvf fnts
  49. %echo Removing fnts
  50. %remove fnts
  51.  
  52. %echo Unzipping fmts/tgz
  53. %gzip -d fmts/tgz
  54. %echo Untarring fmts
  55. %tar xvf fmts
  56. %echo Removing fmts
  57. %remove fmts
  58.  
  59. %echo Unzipping inputs/tgz
  60. %gzip -d inputs/tgz
  61. %echo Untarring inputs
  62. %tar xvf inputs
  63. %echo Removing inputs
  64. %remove inputs
  65.  
  66. %echo Unzipping bins/tgz
  67. %gzip -d bins/tgz
  68. %echo Untarring bins
  69. %tar xvf bins
  70. %echo Removing bins
  71. %remove bins
  72.  
  73. %echo Unzipping dvivu/tgz
  74. %gzip -d dvivu/tgz
  75. %echo Untarring dvivu
  76. %tar xvf dvivu
  77. %echo Removing dvivu
  78. %remove dvivu
  79.  
  80. %echo Unzipping doc/tgz
  81. %gzip -d doc/tgz
  82. %echo Untarring doc
  83. %tar xvf doc
  84. %echo Removing doc
  85. %remove doc
  86.  
  87. %echo OK, that's it. You shouldn't have to alter anything now.
  88. %echo To run ArmTeX, you need to double click on TeXPaths to set
  89. %echo up the necessary paths and things, then you should be able to
  90. %echo TeXify things to your heart's content. Any changes which need
  91. %echo making should be minor ones to TeXPaths.
  92. %echo Good luck!
  93. %echo Alun (auj@aber.ac.uk)
  94.